Перевод: со всех языков на все языки

со всех языков на все языки

property checking

См. также в других словарях:

  • Checking whether a coin is fair — In statistics, the question of checking whether a coin is fair is one whose importance lies, firstly, in providing a simple problem on which to illustrate basic ideas of statistical inference and, secondly, in providing a simple problem that can… …   Wikipedia

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Abstraction model checking — is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down abstract version.The set of variables are partitioned into visible and invisible depending… …   Wikipedia

  • tangible personal property — Personal property that can be felt or touched. Examples include furniture, cars, jewelry, and artwork. In contrast, cash and checking accounts are not tangible personal property. The law is unsettled as to whether computer data is tangible… …   Law dictionary

  • Methode formelle appliquee a l'electronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… …   Wikipédia en Français

  • Méthode Formelle Appliquée À L'électronique — Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici pourront d ailleurs être intégrées dans la page… …   Wikipédia en Français

  • Méthode formelle (informatique)/Application: électronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… …   Wikipédia en Français

  • Méthode formelle appliquée à l'électronique — Les méthodes formelles sont des techniques permettant d assurer la bonne compréhension des fonctions attendues d un système. Ces fonctions pouvant être temporels, déterministes,... Elles permettent en outre de faciliter l interconnexion de… …   Wikipédia en Français

  • Open Verification Library — (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera. Applications OVL works by placing modules or components checking specific …   Wikipedia

  • San Francisco Board of Education — The San Francisco Board of Education is made of seven Commissioners, elected by voters across the city to serve 4 year terms. It is subject to local, state, and federal laws, and determines policy for all the public schools in the San Francisco… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»